SliceDistribution

SliceDistribution[proc,t] represents the distribution of the process state at time t.

SliceDistribution[proc,{t1,…,tk}] represents the joint distribution of process states at times t1<⋯<tk.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.